sequent geosyncline中文什么意思

槽内地槽

后继地槽

• sequent:    adj. 1.继续的；连续的；随着… ...
• geosyncline:    n. 【地质学；地理学】地槽，大向斜 ...
• sequent calculus:    相继式演算